The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. Different versions of DTL have been provided over the years for a number of different applications, reflecting different perspectives on how non-local information can be accessed by each agent. In this paper, we propose an automata-theoretic model checking algorithm for (...) DTL. To this end, we propose a notion of distributed transition system that will be used to specify the system to be verified. The properties that the system should meet are specified in DTL. In order to capture the models of these properties, we propose the notions of generalized distributed Büchi automaton and of distributed Büchi automaton. With these concepts, we are able to adapt results from automata-theoretic approaches to model checking in LTL to the distributed case. (shrink)

Mediante un examen crítico de los ensayos publicados en Ideas y Valores acerca de la filosofía de Ludwig Wittgenstein, el escrito busca establecer qué tan rica es nuestra asimilación del pensamiento de uno de los grandes filósofos de la historia, si tal trabajo muestra una evolución a lo largo del devenir de la revista y si el examen que hago aquí puede darnos algún indicio acerca de nuestro desarrollo filosófico. Finalmente, se hacen algunas breves consideraciones acerca de lo que significa (...) hacer filosofía desde la periferia y algunas posibles ventajas que eso tiene, así como señalar la necesidad de realizar una labor más colectiva. (shrink)

This study aims to test the theoretical model of career adaptability of refugees to investigate the dynamics of successful resettlement. The theoretical model is grounded on career construction and social network theory. We employ quantitative and qualitative methodologies to test the model in a sample of Venezuelans living and working in Colombia. The quantitative results provide partial support for Campion’s model. However, we test an alternative model and find that career adaptability has a direct relationship with subjective resettlement. In addition, (...) cultural identification plays a buffering role on the harmful effects of discrimination on subjective resettlement. Qualitative results from eight in-depth interviews shed light on the process of refugee resettlement, thus revealing the role of social networks. Our study contributes to previous research on refugees by testing, adapting, and expanding a novel model of work resettlement and focusing on a group of refugees transitioning from one emerging country to another emerging country. (shrink)

The essential structure of proofs is proposed as the basis for a measure of complexity of formulas in FOL. The motivating idea was the recognition that distinct theorems can have the same derivation modulo some non essential details. Hence the difficulty in proving them is identical and so their complexity should be the same. We propose a notion of complexity of formulas capturing this property. With this purpose, we introduce the notions of schema calculus, schema derivation and description complexity of (...) a schema formula. Based on these concepts we prove general robustness results that relate the complexity of introducing a logical constructor with the complexity of the component schema formulas as well as the complexity of a schema formula across different schema calculi. (shrink)

. The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For (...) illustration, we revisit the example of combining intuitionistic and classical propositional logics. (shrink)

The modern view of logical reasoning as modeled by a consequence operator has allowed for huge developments in the study of logic as an abstract discipline. Still, it is unable to explain why it is often the case that the same designation is used, in an ambiguous way, to describe several distinct modes of reasoning over the same logical language. A paradigmatic example of such a situation is ‘modal logic’, a terminology which can encompass reasoning over Kripke frames, but also (...) over Kripke models, and in any case either locally or globally . Herein, we adopt a novel abstract notion of logic presented as a lattice-structured hierarchy of consequence operators, and explore some common proof-theoretic and model-theoretic ways of presenting such hierarchies through a collection of meaningful examples. In order to illustrate the usefulness of the notion of hierarchical consequence operators we address a few questions in the theory of combined logics, where a suitable abstract presentation of the logics being combined is absolutely essential. We show how to define the operation, in general, and we achieve a number of interesting preservation results for fibring within the context of 2-hierarchies. (shrink)

El bioderecho es un neologismo que trata las reglas jurídicas de comportamiento en el contexto de cuestiones bioéticas; se ocupa también del hombre, su dignidad, vida e identidad. El presente estudio descriptivo busca atribuir significado al concepto de dignidad en dos modelos de bioderecho, que develan el estatuto jurídico reconocido por estos a los adultos mayores. Se aplica el método de análisis elaborado por Laura Palazzani. Los resultados evidencian diferencias en el contenido del concepto de dignidad y, por ende, en (...) el estatuto jurídico reconocido a las personas mayores. (shrink)

El libro E-physicalism - A Physicalist Theory of PhenomenalConsciousness presenta una teoría en el área de la metafísica de laconciencia fenomenal. Está basada en las convicciones de que la experienciasubjetiva -en el sentido de Nagel - es un fenómeno real,y de que alguna variante del fisicalismo debe ser verdadera.

El presente artículo pone en diálogo dos teorías sobre la justicia frente al fenómeno migratorio, específicamente, aquel que corresponde a la movilización masiva de ciudadanos venezolanos a Colombia desde el caso particular de la ciudad de Bucaramanga. Lo anterior tiene por objetivo proponer alternativas frente a los principales conflictos que han surgido con el choque cultural, político y económico que conlleva una movilización de esta envergadura en un país poco capacitado. Para conseguir esta meta, se proponen tres momentos; primero, se (...) exponen en conjunto tanto la teoría de Jürgen Habermas como la de Jacques Derrida, el primero de estos al respecto de la relación justicia-tolerancia, mientras que el segundo lo hace desde la dupla justicia-hospitalidad. Seguidamente, se exponen algunos puntos principales para ser analizados sobre la ola migratoria en Colombia, de modo que, finalmente, se pueda hacer una lectura desde el aparato conceptual de ambos autores a la problemática migratoria en la ciudad de Bucaramanga. (shrink)

O intuito do presente trabalho é discutir o uso do termo desinformação pelo campo da Ciência da Informação (CI). A palavra, desinformação, passou a ser utilizada nos últimos anos – mais notadamente após a eleição de Donald Trump a presidência dos Estados Unidos da América, cargo que ocupou entre os anos de 2016 a 2020 - para caracterizar um comportamento pautado no compartilhamento de notícias falsas via redes sociais digitais, majoritariamente, e, por meio de técnicas de comunicação que almejam fazer (...) usuários de determinada ferramenta de comunicação, acreditar em uma notícia falsa. No entanto, julgamos que o emprego do termo não consegue explicar de forma clara como ocorre ou, se é possível, determinarmos via estudos do campo da CI (informação como dimensão física, informação como dimensão cognitiva, informação como dimensão intersubjetiva social) que exista um fenômeno ou um processo que desinforme sujeitos expostos a determinada informação. Julgamos haver uma contradição no termo, que pode contribuir para uma tábula rasa explicativa sobre como se processa a validação de determinados conteúdos informativos, ou seja, sob quais fundamentos éticos, marcos regulatório e práticas consuetudinárias os sujeitos nesta arena digital produzem, se apropriam e disseminam informação. (shrink)

Resumen En el marco de un estudio mayor, cuyo principal objetivo es postular la existencia de diferencias entonativas entre zonas lingüísticas de Chile en la emisión de oraciones subordinadas sustantivas objetivas, en este trabajo se expone una caracterización de tres tipos de pausas halladas al interior de las estructuras oracionales indicadas anteriormente, emitidas por hablantes profesionales provenientes de Iquique y de Punta Arenas. El propósito principal del estudio consistió en determinar si se manifestaban diferencias en los tipos de pausas (...) observadas en relación con la complejidad oracional analizada, el género de los informantes y su procedencia geográfica. Para ello se analizaron 100 enunciados extraídos de entrevistas realizadas a 37 profesionales nacidos en ambas ciudades. Los resultados indicaron que hubo diferencias en las pausas observadas, en relación con los tipos de oraciones analizadas, la procedencia geográfica y el género de los informantes.As part of a larger study, whose main objective is to postulate the existence of intonation differences between linguistic regions of Chile in the issuance of subordinate clauses substantive objective, this work exposes a characterization of three types of pauses found inside the sentence structures listed above, issued by professional speakers from Iquique and Punta Arenas. The main purpose of the study was to determine the existence of differences in the types of pauses observed in relation to the sentence complexity analyzed, the gender of the informants and their geographical origin. For this, a total of 100 statements taken from interviews of 37 professionals born in both cities were analyzed. The results indicated that there were differences in the observed pauses, in relation to the types of sentences analyzed, the geographic origin and gender of the informants. (shrink)

Volume 20, Issue 9, September 2020, Page W1-W4.

Building upon the insights of scholars attuned to story, narrative, and myth, this article explores the relationship between myth, science, and religion. After clarifying the interplay of the three terms—story, narrative, and myth—and the preference for the term myth, this article will argue that myth can serve as a medium through which religion, neuroscience, and mental well‐being interact. Such an exploration will cover the role of myths in religion, the neurological basis of myth, and the practices of narrative psychology and (...) bibliotherapy. The article will conclude with suggestions for understanding and utilizing the relationship between myth and the scholarly study of the relationship between science and religion. This article ultimately suggests that myth can operate as a methodological aid to the science‐and‐religion field. (shrink)

This article is a response to Josh Reeves's recent book Against Methodology in Science and Religion: Recent Debates on Rationality and Theology that welcomes Reeves's proposal for an anti‐essentialist future for the field of science‐and‐religion, particularly because it has the potential to move the field beyond current, well‐worn methods: the dominance of Christian theology and doctrine, the importance of credibility strategies, and the dependence upon philosophical discourses. Reeves’ proposal has the potential to open the science‐and‐religion field to other topics, problems, (...) and methods, such as studying lived science‐and‐religion. One way of doing this is to study popular culture and its artifacts such as literature, which portrays a co‐mingling of religion and science at the level of day‐to‐day experiences and practices of characters. For at the level of lived experience, religion and science are not well‐defined disciplines neatly compartmentalized into separate academic departments. (shrink)

Climate change exacts a devastating toll on health that is rarely incorporated into the economic calculus of climate action. By aligning health and environmental policy and collaborating across borders, governments and industries can develop powerful initiatives to promote both environmental and human health.

Current methods of obtaining an informed consent leave much to be desired. Patients rarely read consent forms or understand all of the risks, benefits, or alternatives associated with their treatment. Evaluating the advantages and disadvantages of treatment options often presents a more significant challenge for patients with lower levels of health literacy. This article reviews the evidence of shortcomings in our informed consent system and then explores the potential for a new approach to engage patients at all levels of health (...) literacy in their treatment decisions. Specifically, the article will examine the potential of shared decision-making to bridge gaps in knowledge, increase patient adherence to treatment, and improve health outcomes in low health literacy patient populations. Leveling barriers to treatment information for disadvantaged populations should be a public health imperative, especially if it can be shown to improve health outcomes and reduce health disparities. (shrink)

Current methods of obtaining an informed consent leave much to be desired. Patients rarely read consent forms or understand all of the risks, benefits, or alternatives associated with their treatment. Evaluating the advantages and disadvantages of treatment options often presents a more significant challenge for patients with lower levels of health literacy. This article reviews the evidence of shortcomings in our informed consent system and then explores the potential for a new approach to engage patients at all levels of health (...) literacy in their treatment decisions. Specifically, the article will examine the potential of shared decision-making to bridge gaps in knowledge, increase patient adherence to treatment, and improve health outcomes in low health literacy patient populations. Leveling barriers to treatment information for disadvantaged populations should be a public health imperative, especially if it can be shown to improve health outcomes and reduce health disparities. (shrink)

This article investigates whether sustainability labels for mutual funds in Europe provide consistent signals regarding funds’ sustainable characteristics. Specifically, we assess the alignment of signals conveyed by third-party and self-declared labels. Among the first typology, we consider labels sponsored by government and nonprofit organizations (GNPOs) alongside Environmental, Social, and Governance (ESG) ratings from commercial data vendors. The latter category includes the Sustainable Finance Disclosure Regulation (SFDR) classification and an ESG-related name. Our findings indicate that equity funds with GNPO labels are (...) more likely to exhibit top-tier ESG ratings and alignment with self-declared sustainability signals, namely Article 9 of SFDR and fund names. Furthermore, holding government and multiple GNPO labels is linked to other signals indicating higher sustainability standards. In addition, funds tend to experience an improvement in Morningstar globes after receiving a GNPO label, consistent with GNPO labels signaling funds of the high-quality type. The results regarding label alignment in fixed-income funds are less conclusive. Our findings underscore the need for credible signals in view of the growing number of sustainability labels available to investors. (shrink)

We define the notion of Souslin forcing, and we prove that some properties are preserved under iteration. We define a weaker form of Martin's axiom, namely MA(Γ + ℵ 0 ), and using the results on Souslin forcing we show that MA(Γ + ℵ 0 ) is consistent with the existence of a Souslin tree and with the splitting number s = ℵ 1 . We prove that MA(Γ + ℵ 0 ) proves the additivity of measure. Also we introduce (...) the notion of proper Souslin forcing, and we prove that this property is preserved under countable support iterated forcing. We use these results to show that ZFC + there is an inaccessible cardinal is equiconsistent with ZFC + the Borel conjecture + Σ 1 2 -measurability. (shrink)

Resumen:El pensamiento social crítico mantiene una relación ambivalente con la ciencia. Sustanciales críticas a ella han venido, en décadas recientes, desde el feminismo y el decolonialismo. Este artículo aborda la forma en que la investigación social crítica chilena emplea las herramientas de la ciencia para la construcción de la facticidad, sus procedimientos de validación y la noción de verdad que aplica en su proceso constructivo, buscando ver cómo se manifiesta tal relación en la práctica y en la apreciación de los (...) investigadores. Se basa en el análisis cuantitativo de un corpus de 291 textos de carácter crítico publicados entre 2000 y 2022, y en el análisis cualitativo y cuantitativo de un subconjunto de 167 textos, junto a entrevistas a 55 de sus autores. Entre sus resultados destacan, como características de la práctica investigativa crítica: un evasivo tratamiento de la verdad; una gran valoración de la evidencia empírica; un significativo cambio de herramientas teóricas y supuestos epistemológicos; la exploración de nuevas herramientas metodológicas participativas, pero por grupos reducidos, con limitaciones operativas y escasa irradiación; la falta de arraigo efectivo de la noción de “validez catalítica” y una adhesión tácita, no reconocida, a una noción habermasiana de la verdad.Palabras clave: ciencia social crítica; verdad; difracción; conocimiento situado; validez catalítica. (shrink)

¿Cómo se ha constituido el sujeto científico? ¿De qué manera se ha levantado el edificio de la razón? Este libro es una aportación a una línea de estudios rigurosa. La filosofía de la ciencia ha tenido en los últimos decenios un empuje académico notable y, a la reciente bibliografía con que cuenta esta renovada disciplina, deberá añadirse este brillante y hondo ensayo, abordado "desde el movimiento de las ideas mismas". Este nuevo desarrollo exigía una capacidad de abstracción considerable: desde Heráclito (...) hasta Heisenberg, Popper, Lakatos, para despejar la "figura ficticia" del sujeto de la ciencia. Jaime Labastida ha ordenado en varias líneas paralelas ese proceso de constitución del sujeto científico moderno: la línea de la filosofía, la línea de la física, la de las ciencias naturales, la de la economía política. La conclusión subraya con gran solidez cómo se edifica la razón, condición necesaria para hacer ciencia rigurosa. (shrink)

The role of academic satisfaction on persistence and successful academic behavior has been the focus of research for decades. Nevertheless, driven by positive educational psychology, subjective well-being has been highlighted as another central feature in the academic path of students. Studies aimed at identifying the variables that contribute to explain different aspects of academic performance have been widely investigated, although studies aimed at identifying the determinants of subjective well-being are still limited. The present paper examined the contribution of AS judgments (...) on subjective well-being. To this end, it was hypothesized that SWB levels depend on the balance between positive/negative emotions and life satisfaction judgments. Furthermore, it was stipulated that AS has an indirect contribution on SWB, through life satisfaction, whereas the balance of emotions influences both AS judgments and life satisfaction. Using an analysis strategy based on structural equation modeling, the results indicated that the model fitted satisfactorily, explaining 32% of the variance of SWB. Particularly, it was observed that AS judgments contributed to life satisfaction judgments. Although no direct contribution of AS on SWB was reported, a total contribution partially mediated by life satisfaction judgments was revealed. These findings support the importance of academic satisfaction judgments, not only because of their importance in academic terms, but also because of their impact on university students’ subjective well-being and health. (shrink)

In a recent opinion paper, it was argued that individuals with multiple retractions or a record of academic misconduct should not serve as editors, including as editors-in-chief, on the editorial boards of scholarly or academic journals. As a first step towards appreciating how such a policy could be applied in practice, the presence of 30 individuals listed on the Retraction Watch Leaderboard on editorial boards was screened. Six cases are highlighted to gain an appreciation of the potential reputational risks that (...) journals and publishers might incur by including individuals with a tainted academic record on editorial boards. Given the reputational, legal and other risks associated with this type of assessment and decision, more formal positioning and guidance are needed by global ethics policy-related bodies such as COPE, the ICMJE, and the CSE, even more so in journals that claim to follow these organizations’ ethical guidelines. (shrink)

The valence–space metaphor research area investigates the metaphorical mapping of valenced concepts onto space. Research findings from this area indicate that positive, neutral, and negative concepts are associated with upward, midward, and downward locations, respectively, in the vertical plane. The same research area has also indicated that such concepts seem to have no preferential location on the horizontal plane. The approach–avoidance effect consists in decreasing the distance between positive stimuli and the body and increasing the distance between negative stimuli and (...) the body. Thus, the valence–space metaphor accounts for the mapping of valenced concepts onto the vertical and horizontal planes, and the approach–avoidance effect accounts for the mapping of valenced concepts onto the “depth” plane. By using a cube conceived for the study of allocation of valenced concepts onto 3D space, we show in three studies that positive concepts are placed in upward locations and near the participants’ body, negative concepts are placed in downward locations and far from the participants’ body, and neutral concepts are placed in between these concepts in both planes. (shrink)

We deal with the consistency strength of ZFC + variants of MA + suitable sets of reals are measurable (and/or Baire, and/or Ramsey). We improve the theorem of Harrington and Shelah [2] repairing the asymmetry between measure and category, obtaining also the same result for Ramsey. We then prove parallel theorems with weaker versions of Martin's axiom (MA(σ-centered), (MA(σ-linked)), MA(Γ + ℵ 0 ), MA(K)), getting Mahlo, inaccessible and weakly compact cardinals respectively. We prove that if there exists r ∈ (...) R such that ω L[ r] 1 = ω 1 and MA holds, then there exists a ▵ 1 3 -selective filter on ω, and from the consistency of ZFC we build a model for ZFC + MA(I) + every ▵ 1 3 -set of reals is Lebesgue measurable, has the property of Baire and is Ramsey. (shrink)

Se presenta un artículo acerca de los factores de riesgo asociados a la dermatitis atópica en niños, enfermedad con una incidencia significativa en el municipio Nuevitas. A partir de la revisión de Historias Clínicas en los Consultorios 4,5 y 6 del territorio, en el período comprendido de enero a septiembre del 2015, se constató como importantes los factores genéticos y los medioambientales en estos pacientes. Con el objetivo de disminuir los últimos se elaboró una estrategia educativa para la familia de (...) los infantes. Se aplicó una encuesta inicial y una final con una población de 60 familias y una muestra de 30 que representa el 50 % con el criterio de inclusión de tener algún o algunos de estos factores. Se concluye que la estrategia contribuyó a transformar los estilos de vida en las familias estudiadas. The article deals with risk factors associated to atopic dermatitis in children, a disease with a significant effect on Nuevitas municipality. Starting from the checking of clinical histories in doctors' offices 4, 5 and 6 in the municipality from January to September 2015, genetic and environmental factors were confirmed to be important. Aiming at lessening these risks, an educational strategy for the children's families was developed. An initial and a final survey of a population of 60 families and a sample of 30, make for a 50 % with inclusion criterion of having some or a lot of these factors. It was reached the conclusion that the strategy contributed to transforming lifestyles in the studied families. (shrink)